au.\*:("MONTANGERO C")
Results 1 to 2 of 2
Selection :
A refinement calculus for tuple spacesSEMINI, L; MONTANGERO, C.Science of computer programming. 1999, Vol 34, Num 2, pp 79-140, issn 0167-6423Article
Composing specifications for coordinationMONTANGERO, C; SEMINI, L.Lecture notes in computer science. 1999, pp 118-133, issn 0302-9743, isbn 3-540-65836-XConference Paper